Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
41	CLASSIFYING THE SMOOTHNESS OF IMAGES: THEORY AND APPLICATIONS TO WAVELET IMAGE PROCESSING∗ RONALD A. DeVORE1 , University of South Carolina, and BRADLEY J. LUCIER2 , Purdue University Abstract Devore, Jawerth, and Luci Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2013-04-29 15:53:32 Functional analysis Signal processing Wavelets Timefrequency analysis Haar wavelet Distribution Orthogonal wavelet Fast wavelet transform Dual space Sobolev space Linear temporal logic Spline wavelet
42	Interpreting Translation-Invariant Wavelet Shrinkage as A New Image Smoothing Scale Space Antonin Chambolle1 and Bradley J. Lucier2 (Senior Member, IEEE ) Abstract Coifman and Donoho suggested translation-invariant wavel Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2000-09-04 23:06:14 Operator theory Signal processing Timefrequency analysis Functional analysis Wavelets Contraction Heat equation Discrete wavelet transform Operator Limit Differential forms on a Riemann surface Linear temporal logic
43	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
44	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
45	CUBULATING HYPERBOLIC FREE-BY-CYCLIC GROUPS: THE IRREDUCIBLE CASE MARK F. HAGEN AND DANIEL T. WISE Abstract. Let V be a nite graph and let φ : V → V be an irreducible train track map whose mapping torus has word-hype Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-08-17 19:52:03 Geometric group theory Geometric topology Train track map Free group Universal property Dynamical system Fiber bundle Orbifold Linear temporal logic
46	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
47	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic
48	Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:58 Programming paradigms Abductive logic programming Linear temporal logic Model checking Formal verification NuSMV Constraint programming Temporal logic Declarative programming Prolog Logic programming Entityrelationship model
49	The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:41 Functional analysis Lemmas Symbol FO IP Dual space Craig interpolation Model theory Linear temporal logic
50	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton